Immortality: One Step further+

Combined PET/MRI: one step further in multimodality imaging.

Given the need for sophisticated in vivo detection techniques to better characterize the cellular and subcellular processes in animals and humans, molecular imaging has become an important discipline. Techniques in molecular imaging have developed from stand alone modalities to multimodality methods. Among these, the combination of positron emission tomography (PET) and computed tomography (CT)...

Boom: Taking Boolean Program Model Checking One Step Further

Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction, where thread counters are used in a program-context aware way. While designed for bounded counters, this method also integrates well with the Karp-Miller tree construction for vector ad...

Standardized Geoprocessing - Taking Spatial Data Infrastructures one Step Further

Spatial data infrastructures (SDI) have been widely accepted to share geospatial data among organizations. Today SDI’s main focus lies on distributed data storage in the form of spatial web services, the retrieval through catalogues, and the visualization in form of web map services. The hypothesis presented in this paper takes SDI’s one step further by providing a method to process geodata, in...

One Further Step Towards Realistic Simulations of Wireless Networks

The realistic simulation of the lower layers in the protocol stack, namely the physical layer of a wireless ad-hoc network is known to have a severe impact on the outcome of simulation results. This work focuses on the effects of simulating realistic radio propagation and on the possibility of simulating realistic radio propagation with event based network simulators. Based on an available impl...

One step forward